Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 189 | 189 | 151 | 1229 | 338 | 911 | 6156 | 1708 | 469 | 0 |
N.S. | 1 | 1.00 | 0.80 | 6.50 | 1.79 | 4.82 | 32.57 | 9.04 | 2.48 | 0.00 |
time (sec) |
N/A | 0.227 | 0.323 | 0.009 | 1.878 | 0.984 | 11.007 | 0.570 | 1.438 | 0.652 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 144 | 144 | 113 | 711 | 242 | 532 | 3373 | 1009 | 305 | 0 |
N.S. | 1 | 1.00 | 0.78 | 4.94 | 1.68 | 3.69 | 23.42 | 7.01 | 2.12 | 0.00 |
time (sec) |
N/A | 0.121 | 0.167 | 0.006 | 1.814 | 1.087 | 7.627 | 0.561 | 1.197 | 0.158 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 97 | 97 | 73 | 321 | 146 | 235 | 1515 | 478 | 185 | 0 |
N.S. | 1 | 1.00 | 0.75 | 3.31 | 1.51 | 2.42 | 15.62 | 4.93 | 1.91 | 0.00 |
time (sec) |
N/A | 0.061 | 0.078 | 0.005 | 1.627 | 0.756 | 2.600 | 0.444 | 1.028 | 0.100 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | A | A | A | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 60 | 60 | 43 | 111 | 70 | 94 | 459 | 167 | 97 | 0 |
N.S. | 1 | 1.00 | 0.72 | 1.85 | 1.17 | 1.57 | 7.65 | 2.78 | 1.62 | 0.00 |
time (sec) |
N/A | 0.031 | 0.043 | 0.004 | 1.448 | 0.887 | 1.935 | 0.499 | 0.956 | 0.060 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 292 | 292 | 247 | 2443 | 550 | 1711 | 12199 | 3283 | 694 | 0 |
N.S. | 1 | 1.00 | 0.85 | 8.37 | 1.88 | 5.86 | 41.78 | 11.24 | 2.38 | 0.00 |
time (sec) |
N/A | 0.287 | 0.587 | 0.010 | 2.268 | 1.205 | 13.413 | 0.814 | 1.741 | 1.070 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 216 | 216 | 178 | 1471 | 396 | 1043 | 7019 | 2010 | 499 | 0 |
N.S. | 1 | 1.00 | 0.82 | 6.81 | 1.83 | 4.83 | 32.50 | 9.31 | 2.31 | 0.00 |
time (sec) |
N/A | 0.247 | 0.354 | 0.009 | 2.060 | 1.025 | 10.021 | 0.677 | 1.388 | 0.349 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 144 | 144 | 113 | 711 | 242 | 495 | 3373 | 1009 | 305 | 0 |
N.S. | 1 | 1.00 | 0.78 | 4.94 | 1.68 | 3.44 | 23.42 | 7.01 | 2.12 | 0.00 |
time (sec) |
N/A | 0.134 | 0.173 | 0.008 | 1.801 | 1.009 | 5.664 | 0.638 | 1.182 | 0.156 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 91 | 91 | 67 | 263 | 116 | 217 | 1137 | 380 | 179 | 0 |
N.S. | 1 | 1.00 | 0.74 | 2.89 | 1.27 | 2.38 | 12.49 | 4.18 | 1.97 | 0.00 |
time (sec) |
N/A | 0.069 | 0.054 | 0.007 | 1.510 | 0.900 | 3.167 | 0.454 | 1.048 | 0.085 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | B | B | F(-1) | B | B | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 379 | 379 | 327 | 3953 | 762 | 2657 | 0 | 5234 | 933 | 0 |
N.S. | 1 | 1.00 | 0.86 | 10.43 | 2.01 | 7.01 | 0.00 | 13.81 | 2.46 | 0.00 |
time (sec) |
N/A | 0.401 | 0.825 | 0.010 | 2.493 | 0.796 | 0.000 | 1.049 | 2.099 | 1.215 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 284 | 284 | 239 | 2443 | 550 | 1690 | 12199 | 3283 | 694 | 0 |
N.S. | 1 | 1.00 | 0.84 | 8.60 | 1.94 | 5.95 | 42.95 | 11.56 | 2.44 | 0.00 |
time (sec) |
N/A | 0.284 | 0.415 | 0.010 | 2.317 | 0.816 | 13.849 | 0.946 | 1.745 | 0.912 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 189 | 189 | 151 | 1229 | 338 | 837 | 6156 | 1708 | 469 | 0 |
N.S. | 1 | 1.00 | 0.80 | 6.50 | 1.79 | 4.43 | 32.57 | 9.04 | 2.48 | 0.00 |
time (sec) |
N/A | 0.176 | 0.279 | 0.009 | 1.964 | 0.645 | 8.211 | 0.655 | 1.432 | 0.651 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | B | A | B | A | B | B | F |
verified | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 121 | 121 | 90 | 475 | 162 | 381 | 2220 | 673 | 280 | 0 |
N.S. | 1 | 1.00 | 0.74 | 3.93 | 1.34 | 3.15 | 18.35 | 5.56 | 2.31 | 0.00 |
time (sec) |
N/A | 0.079 | 0.079 | 0.006 | 1.637 | 0.912 | 8.511 | 0.507 | 1.133 | 0.142 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | A | A | A | A | A | B | A |
verified | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 84 | 84 | 91 | 112 | 100 | 231 | 97 | 113 | 101 | 111 |
N.S. | 1 | 1.00 | 1.08 | 1.33 | 1.19 | 2.75 | 1.15 | 1.35 | 1.20 | 1.32 |
time (sec) |
N/A | 0.077 | 0.140 | 0.010 | 1.377 | 0.951 | 59.288 | 0.432 | 1.510 | 0.091 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | I.A. | |
grade |
A | A | A | A | A | A | A | A | B | A |
verified | N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD | Yes |
size | 84 | 84 | 91 | 112 | 100 | 217 | 97 | 113 | 101 | 111 |
N.S. | 1 | 1.00 | 1.08 | 1.33 | 1.19 | 2.58 | 1.15 | 1.35 | 1.20 | 1.32 |
time (sec) |
N/A | 0.077 | 0.160 | 0.011 | 1.366 | 0.929 | 54.080 | 0.569 | 1.483 | 0.091 |